#include <shell.h>
#include <users.h>

void us_exit ()
{
	logout ();
}
